Knowledge Representation Using Formal Logic
ثبت نشده
چکیده
Now we begin to dig into the nitty-gritty of our subject matter. Before discussing querying and analysis of complex, heterogeneous spatiotemporal and contextual knowledge, we must discuss representation of temporal knowledge (as well as, to a certain extent, spatial knowledge) . . . and before that, we must address knowledge representation in general. In the course of our investigation we must work through a number of difficult questions regarding knowledge representation, including:
منابع مشابه
Conceptual Graphs and Formal Concept Analysis
It is shown how Conceptual Graphs and Formal Concept Analysis may be combined to obtain a formalization of Elementary Logic which is useful for knowledge representation and processing. For this, a translation of conceptual graphs to formal contexts and concept lattices is described through an example. Using a suitable mathematization of conceptual graphs, basics of a uniied mathematical theory ...
متن کاملOntoDLP: a Logic Formalism for Knowledge Representation
This paper provides an introduction to knowledge representation using OntoDLP, a formalism which combines the full computational power of Disjunctive Logic Programming (DLP) with suitable abstraction mechanisms for the representation of complex objects and default reasoning. The paper does not provide a formal definition of the language, rather it is intended as an informal presentation of its ...
متن کاملA Formal Language for Kads Models (short Version)
We present (ML) 2 , a formal language for the representation of KADS models of expertise. (ML) 2 is a combination of rst order predicate logic (for the declarative representation of domain knowledge), meta-logic (for the representation of how to use the domain knowledge) and dynamic logic (for the representation of control information). After a brief summary of KADS, we describe how each of the...
متن کاملA Grammar-based Approach to Design and its Application to Electronics and Logic Programming
The paper describes how formal grammars can be used for knowledge representation in electronic design and how logic programming techniques can be applied for grammar representation and manipulation. The basic idea is that formal grammars can be used to explicitly represent design knowledge and design concepts usually not represented or accessible by design tools and that such design knowledge c...
متن کاملTowards a new world-ontology
A crucial problem of knowledge representation is that it has to be formal and informal at the same time. Here, ‘formal’ refers to knowledge as a mathematical concept which is thought, and ‘informal’ to knowledge as something which is experienced, i.e. a ‘real’ world phenomenon. This paper is an attempt to reconcile these potentially contradictory conditions. Our aim is to show that a cognitivel...
متن کاملFormal Concept Analysis and Resolution in Algebraic Domains — Preliminary Report
We relate two formerly independent areas: Formal concept analysis and logic of domains. We will establish a correspondene between contextual attribute logic on formal contexts resp. concept lattices and a clausal logic on coherent algebraic cpos. We show how to identify the notion of formal concept in the domain theoretic setting. In particular, we show that a special instance of the resolution...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011